Welcome To Ask or Share your Answers For Others

Recent questions tagged prolog

0 votes

1 answer 681 views

prolog - Intersection and union of 2 lists

asked Oct 17, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 595 views

prolog - Using a constrained variable with `length/2`

asked Oct 17, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 607 views

prolog - Reification of term equality/inequality

asked Oct 17, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 709 views

prolog - Finding Unique Items in a List

asked Oct 17, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 595 views

prolog - Delete vowels in a list

asked Oct 17, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 815 views

prolog - Most general higher-order constraint describing a sequence of integers ordered with respect to a relation

asked Oct 17, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 729 views

prolog - Definition of a path/trail/walk

asked Oct 17, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 652 views

prolog - Definition of Reflexive Transitive Closure

asked Oct 17, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 879 views

prolog - Predicate returning false

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 737 views

prolog - λProlog hypothetical reasoning Tic Tac Toe

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 531 views

prolog - Why does this give a NonGroundProbabilisticClause error, but not the deterministic counterpart?

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 707 views

prolog - Order of unification in lists when using pipe(|)

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 603 views

prolog - Paterson-Wegman versus Wielemaker-Demoen Unification

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 647 views

prolog - Non-linearity of Wielemaker-Demoen Unification

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 614 views

prolog - CHR: managing "constraint stores"

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 649 views

prolog - find biggest interval in a list of sublists (these sublists have 2 elements)

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 693 views

prolog - How can I get my maze program to create and print two route-lists to the console?

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 916 views

prolog - A function that counts the number '1's, '2's and '3's in a list, with count represented as, for example, s(s(s(0))) = 3

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 590 views

prolog - Cut at the beginning of a clause

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 552 views

prolog - I cannot get my Flex program to output a result into the console, it only returns "no"

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 677 views

prolog - Some problems with reading file

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 549 views

prolog - parsing with CHR (Constraint handling rules)

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 668 views

prolog - Relational/Logic Programming in Python?

asked Oct 6, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 515 views

prolog - Reification of term equality/inequality

asked Oct 6, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 539 views

prolog - Reification of term equality/inequality

asked Oct 6, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 580 views

prolog - How to safely temporarily change the occurs check flag?

asked Oct 6, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 564 views

prolog - How to safely temporarily change the occurs check flag?

asked Oct 6, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

1 answer 606 views

prolog - APE: Converting DRS to Struct

asked Oct 6, 2021 in Technique[技术] by 深蓝 (71.8m points)

To see more, click for the full list of questions or popular tags.

...