📚 The CoCalc Library - books, templates and other resources
cocalc-examples / martinthoma-latex-examples / documents / Programmierparadigmen / scripts / prolog / human.pro
132948 viewsLicense: OTHER
human(bob). human(socrates). human(antonio).
📚 The CoCalc Library - books, templates and other resources
human(bob). human(socrates). human(antonio).