GitHub - COMS30106/prolog_scripts: Prolog scripts used for teaching · GitHub

Name		Name	Last commit message	Last commit date
other		other
.gitignore		.gitignore
Readme.md		Readme.md
biglist.pl		biglist.pl
factors.pl		factors.pl
fib.pl		fib.pl
fibn.pl		fibn.pl
fibt.pl		fibt.pl
hanoi.pl		hanoi.pl
model.pl		model.pl
model_d.pl		model_d.pl
nqueens.pl		nqueens.pl
path.pl		path.pl
powerset.pl		powerset.pl
prove.pl		prove.pl
prove_bf.pl		prove_bf.pl
prove_p.pl		prove_p.pl
prove_r.pl		prove_r.pl
psort.pl		psort.pl
refute_bf.pl		refute_bf.pl
roman.pl		roman.pl
search_bf.pl		search_bf.pl
search_bt.pl		search_bt.pl
search_d.pl		search_d.pl
search_df.pl		search_df.pl
search_id.pl		search_id.pl
secondorder.pl		secondorder.pl
section92.pl		section92.pl
section93.pl		section93.pl
setof_sort.pl		setof_sort.pl
tiles.pl		tiles.pl

Repository files navigation

Prolog files for labs

This folder contains Prolog files for lab exercises.
Interactive online version of these is available here.

About

Prolog scripts used for teaching

Custom properties

1 star

2 watching

Report repository

Releases

Packages

Contributors

Languages