prolog Test 21 a1 exercises
%% -*- Mode: Prolog; coding: utf-8 -*- %% test 1 / 18.03.2021 %% Given the precondition (PreCond) of the predicate, %% the search trees of the appropriate goals must be finite. %% The run of the goals should not leave unnecessary choice points. %% Take advantage of first argument indexing and last call optimization. %% […]
prolog Test 21 a1 exercises Read More »