Welcome To Ask or Share your Answers For Others

Recent questions tagged prolog

0 votes

1 answer 697 views

prolog - Intersection and union of 2 lists

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

0 votes

1 answer 617 views

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

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

0 votes

1 answer 621 views

prolog - Reification of term equality/inequality

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

0 votes

1 answer 727 views

prolog - Finding Unique Items in a List

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

0 votes

1 answer 618 views

prolog - Delete vowels in a list

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

0 votes

1 answer 830 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 748 views

prolog - Definition of a path/trail/walk

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

0 votes

1 answer 668 views

prolog - Definition of Reflexive Transitive Closure

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

0 votes

1 answer 895 views

prolog - Predicate returning false

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

0 votes

1 answer 761 views

prolog - λProlog hypothetical reasoning Tic Tac Toe

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

0 votes

1 answer 554 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 724 views

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

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

0 votes

1 answer 625 views

prolog - Paterson-Wegman versus Wielemaker-Demoen Unification

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

0 votes

1 answer 665 views

prolog - Non-linearity of Wielemaker-Demoen Unification

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

0 votes

1 answer 637 views

prolog - CHR: managing "constraint stores"

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

0 votes

1 answer 665 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 713 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 930 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 608 views

prolog - Cut at the beginning of a clause

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

0 votes

1 answer 567 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 698 views

prolog - Some problems with reading file

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

0 votes

1 answer 574 views

prolog - parsing with CHR (Constraint handling rules)

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

0 votes

1 answer 687 views

prolog - Relational/Logic Programming in Python?

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

0 votes

1 answer 537 views

prolog - Reification of term equality/inequality

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

0 votes

1 answer 565 views

prolog - Reification of term equality/inequality

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

0 votes

1 answer 595 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 585 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 628 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.

...