Language Logic Program

Name Logic Program
Description Facts (a.), normal rules (a :- b,c, not d, not e.), and integrity constraints (:- x, not y.).
Compatible Language Features