alpha test
These are supplementary materials to the class activities on logic programming as a kind of database.