Knowledge Lab

DLVon line!



main | examples | research | publications | miscellaneous

Introduce an Answer Set program like the following. Then click on the Answer sets button and see the results below:

∏:

∏:

 


(C) J.C. Acosta-Guadarrama 2005-2022.
Debora Sarahi Rogriguez Aguilar 2018-2022.
Rosa Maria Quiñones Arellano 2018-2022.
DLV is a Copyright of DLVSYSTEM s.r.l.

Last update: May 2022.