Logtalk 3.43.0 screenshot

Logtalk 3.43.0 full

Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler.