Welcome To Ask or Share your Answers For Others

Recent questions tagged Prolog

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

prolog - Intersection and union of 2 lists

0 like 0 dislike

786 views 1 answer

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

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

0 like 0 dislike

703 views 1 answer

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

prolog - Reification of term equality/inequality

0 like 0 dislike

716 views 1 answer

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

prolog - Finding Unique Items in a List

0 like 0 dislike

830 views 1 answer

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

prolog - Delete vowels in a list

0 like 0 dislike

726 views 1 answer

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

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

0 like 0 dislike

924 views 1 answer

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

prolog - Definition of a path/trail/walk

0 like 0 dislike

861 views 1 answer

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

prolog - Definition of Reflexive Transitive Closure

0 like 0 dislike

771 views 1 answer

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

prolog - Predicate returning false

0 like 0 dislike

1.0k views 1 answer

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

prolog - λProlog hypothetical reasoning Tic Tac Toe

0 like 0 dislike

850 views 1 answer

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

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

0 like 0 dislike

638 views 1 answer

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

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

0 like 0 dislike

816 views 1 answer

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

prolog - Paterson-Wegman versus Wielemaker-Demoen Unification

0 like 0 dislike

710 views 1 answer

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

prolog - Non-linearity of Wielemaker-Demoen Unification

0 like 0 dislike

763 views 1 answer

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

prolog - CHR: managing "constraint stores"

0 like 0 dislike

726 views 1 answer

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

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

0 like 0 dislike

755 views 1 answer

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

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

0 like 0 dislike

802 views 1 answer

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

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

0 like 0 dislike

1.0k views 1 answer

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

prolog - Cut at the beginning of a clause

0 like 0 dislike

699 views 1 answer

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

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

0 like 0 dislike

659 views 1 answer

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

prolog - Some problems with reading file

0 like 0 dislike

782 views 1 answer

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

prolog - parsing with CHR (Constraint handling rules)

0 like 0 dislike

679 views 1 answer

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

prolog - Relational/Logic Programming in Python?

0 like 0 dislike

772 views 1 answer

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

prolog - Reification of term equality/inequality

0 like 0 dislike

629 views 1 answer

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

prolog - Reification of term equality/inequality

0 like 0 dislike

667 views 1 answer

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

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

0 like 0 dislike

688 views 1 answer

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

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

0 like 0 dislike

683 views 1 answer

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

prolog - APE: Converting DRS to Struct

0 like 0 dislike

728 views 1 answer

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

...