Our Prolog class was more like a drive-by math exercise than programming. I don'... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

jstewartmobile on Aug 1, 2018 | parent | context | favorite | on: A Dynamic Forth Compiler for WebAssembly

Our Prolog class was more like a drive-by math exercise than programming. I don't recall if we actually ever ran anything.

pjmlp on Aug 1, 2018 [–]

For that we used Tarski's World in introduction to logic classes.

Prolog classes were actual programming with SWI Prolog.

Additionally there are national competitions between universities in logic programming, with Prolog as the official language.

Consider applying for YC's W25 batch! Applications are open till Nov 12.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact