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

782 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

700 views 1 answer

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

prolog - Reification of term equality/inequality

0 like 0 dislike

714 views 1 answer

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

prolog - Finding Unique Items in a List

0 like 0 dislike

828 views 1 answer

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

prolog - Delete vowels in a list

0 like 0 dislike

724 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

859 views 1 answer

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

prolog - Definition of Reflexive Transitive Closure

0 like 0 dislike

769 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

848 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

815 views 1 answer

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

prolog - Paterson-Wegman versus Wielemaker-Demoen Unification

0 like 0 dislike

707 views 1 answer

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

prolog - Non-linearity of Wielemaker-Demoen Unification

0 like 0 dislike

760 views 1 answer

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

prolog - CHR: managing "constraint stores"

0 like 0 dislike

724 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

754 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

697 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

657 views 1 answer

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

prolog - Some problems with reading file

0 like 0 dislike

780 views 1 answer

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

prolog - parsing with CHR (Constraint handling rules)

0 like 0 dislike

677 views 1 answer

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

prolog - Relational/Logic Programming in Python?

0 like 0 dislike

770 views 1 answer

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

prolog - Reification of term equality/inequality

0 like 0 dislike

627 views 1 answer

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

prolog - Reification of term equality/inequality

0 like 0 dislike

665 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

680 views 1 answer

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

prolog - APE: Converting DRS to Struct

0 like 0 dislike

726 views 1 answer

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

...