logic programming

Related entries include:

CLP*; XSB;