implies logical consequences program deduced concurrent constraint logic programming concurrent constraint logic programming combines concurrent logic programming constraint logic programming using constraints control concurrency clause contain guard set constraints may block applicability clause guards several clauses satisfied concurrent constraint logic programming makes committed choice use one inductive logic programming inductive logic programming concerned generalizing positive negative examples context background knowledge machine learning logic programs recent work
Formal science Computer science Logic in computer science Logic programming