eclipse-prolog

Here are 3 public repositories matching this topic...

A symbolic execution engine in Prolog for C

kotlin c parsing prolog symbolic-execution antlr4 test-generation clp lex-yacc-parser concolic-testing lex-yacc eclipse-prolog

Some exercises in logic programming and constraint logic programming writen in ECLiPSe Prolog

DST approach on Recommended Systems(RS).

To associate your repository with the eclipse-prolog topic, visit your repo's landing page and select "manage topics."