GitHub - suharahiromichi/prolog: Prolog Code

Name		Name	Last commit message	Last commit date
Latest commit History 162 Commits
elpi		elpi
tapl		tapl
NKS_RM.swi		NKS_RM.swi
ancek.swi		ancek.swi
anorm.swi		anorm.swi
cgc_array.swi		cgc_array.swi
count_do.swi		count_do.swi
cps.swi		cps.swi
cps_callcc.swi		cps_callcc.swi
cps_fib_quiita.swi		cps_fib_quiita.swi
dbi.swi		dbi.swi
dbi_cek.swi		dbi_cek.swi
dbi_eval.swi		dbi_eval.swi
findall.swi		findall.swi
genji.swi		genji.swi
genji_2.swi		genji_2.swi
grass_ced.swi		grass_ced.swi
grass_lambda.swi		grass_lambda.swi
grass_parse_dcg.swi		grass_parse_dcg.swi
grass_parse_utf8.swi		grass_parse_utf8.swi
hi_order.swi		hi_order.swi
iota.swi		iota.swi
lambda.swi		lambda.swi
lambda2.swi		lambda2.swi
llp_patch.txt		llp_patch.txt
minisat.c		minisat.c
modulo.swi		modulo.swi
pip0.swi		pip0.swi
pip1.swi		pip1.swi
pp.swi		pp.swi
refactor.swi		refactor.swi
regexp.c		regexp.c
relay.swi		relay.swi
scheme.swi		scheme.swi
sf_imp_parser.swi		sf_imp_parser.swi
sudoku.swi		sudoku.swi
tc.swi		tc.swi
tllp.swi		tllp.swi
twindragon.swi		twindragon.swi
type.swi		type.swi
type_stlc.swi		type_stlc.swi
ws-ps.swi		ws-ps.swi
ws-vm.swi		ws-vm.swi
ws.swi		ws.swi