Skip to content

Instantly share code, notes, and snippets.

@topspinppy
Created September 27, 2017 03:52
Show Gist options
  • Save topspinppy/8bbd45d1ec36db245c6d1746e2956b91 to your computer and use it in GitHub Desktop.
Save topspinppy/8bbd45d1ec36db245c6d1746e2956b91 to your computer and use it in GitHub Desktop.
course(01).
course(02).
course(03).
course(04).
teachers(wmk).
teachers(spk).
teachers(ppk).
student(jack).
student(noei).
student(sai).
student(phun).
lectures(wmk,01).
lectures(wmk,02).
lectures(spk,03).
lectures(ppk,04).
studies(jack,01).
studies(noei,02).
studies(sai,03).
studies(phun,04).
teaches(TEACHER,STUDENT):- lectures(TEACHER,COURSE),studies(STUDENT,COURSE).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment