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

701 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

620 views 1 answer

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

prolog - Reification of term equality/inequality

0 like 0 dislike

630 views 1 answer

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

prolog - Finding Unique Items in a List

0 like 0 dislike

730 views 1 answer

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

prolog - Delete vowels in a list

0 like 0 dislike

621 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

835 views 1 answer

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

prolog - Definition of a path/trail/walk

0 like 0 dislike

760 views 1 answer

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

prolog - Definition of Reflexive Transitive Closure

0 like 0 dislike

677 views 1 answer

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

prolog - Predicate returning false

0 like 0 dislike

900 views 1 answer

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

prolog - λProlog hypothetical reasoning Tic Tac Toe

0 like 0 dislike

766 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

557 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

727 views 1 answer

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

prolog - Paterson-Wegman versus Wielemaker-Demoen Unification

0 like 0 dislike

628 views 1 answer

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

prolog - Non-linearity of Wielemaker-Demoen Unification

0 like 0 dislike

669 views 1 answer

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

prolog - CHR: managing "constraint stores"

0 like 0 dislike

641 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

670 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

715 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

933 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

612 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

572 views 1 answer

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

prolog - Some problems with reading file

0 like 0 dislike

701 views 1 answer

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

prolog - parsing with CHR (Constraint handling rules)

0 like 0 dislike

577 views 1 answer

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

prolog - Relational/Logic Programming in Python?

0 like 0 dislike

692 views 1 answer

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

prolog - Reification of term equality/inequality

0 like 0 dislike

540 views 1 answer

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

prolog - Reification of term equality/inequality

0 like 0 dislike

570 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

599 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

589 views 1 answer

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

prolog - APE: Converting DRS to Struct

0 like 0 dislike

631 views 1 answer

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

...