Module facts_about_prolog

:- use_module(library(smart)).

The example is used at Semantics

Browse source code

smart/1

nobel_prize_winner/1

turing_award_winner/1

logic_programmer/1

familiar_with_prolog/1

problem_solver/1

knowledgeable/1