Searched refs:GOAL (Results 1 - 12 of 12) sorted by relevance
/barrelfish-master/usr/eclipseclp/Opium/demo/ |
H A D | wave.pl | 16 GOAL: prince(david). \n\ label
|
H A D | nqueens.pl | 26 GOAL: queens(4,Qs). \n \ label
|
H A D | simplify.pl | 21 GOAL: simplify(1 + a + b + a, S). \n \ label
|
H A D | collect.pl | 19 GOAL: makelist(ListA - ListT). \n \ label
|
H A D | digin.pl | 20 GOAL: test_show(D) \n\ label
|
H A D | yoyo1.pl | 28 GOAL: subset(S, [1,2,3]) \n\ label
|
H A D | yoyo2.pl | 17 GOAL: mcs([arc(1,2,0), arc(1,3,5), arc(2,3,0)], Tree). \n\ label
|
H A D | pendulum.pl | 18 GOAL: strongly_connected_components \n\ label
|
H A D | yoyo3.pl | 30 GOAL: check_input, filename "bib4_list" \n\ label
|
H A D | check_entry.pl | 47 GOAL: check_entry(...) \n \ label
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | exthsusp.tex | 1442 % S = 'GOAL'(true, eclipse) 1449 % S = 'GOAL'(true, eclipse) 1484 % X = 'GOAL'(true, eclipse)
|
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | kernel.tex | 1923 |- - - GOAL - - -| 1964 \item[GOAL] the goal as a compound term (or atom).
|
Completed in 90 milliseconds