sicstus

There are 5 repositories under sicstus topic.

edurbrito/mapello
A fun reversi derivative board game
Language:JavaScript2 2 00
Joshua27/SICStusPrologFuzzer
SICStus Prolog Fuzzer - including an extension to generate predicates and expressions in (Event-)B represented as abstract syntax trees
Language:Prolog20
ggrrin/GolfProblemSolver
Constrain satisfaction solver for Social Golfer problem using SICStus Prolog
Language:TeX0 2 00
diogosmac/feup-plog
Repository for the PLOG projects that were done in the 19/20 school year.
Language:Prolog0 0
fwcd/arch-sicstus
Arch Linux package for SICStus Prolog
Language:Shell