| ... |
|
access-control-policy.pl
|
2.94 KB |
|
age.pl
|
1.12 KB |
|
aliases-and-namespaces.pl
|
1.48 KB |
|
ancestor.pl
|
1.15 KB |
|
animal.pl
|
767 B |
|
annotation.pl
|
4.75 KB |
|
attributed-variables.pl
|
1.19 KB |
|
backward.pl
|
367 B |
|
bayes-diagnosis.pl
|
5.67 KB |
|
beam-deflection.pl
|
4.17 KB |
|
cache-performance.pl
|
4.61 KB |
|
canary-release.pl
|
3.35 KB |
|
cat-koko.pl
|
1.02 KB |
|
catalan-convolution.pl
|
2.73 KB |
|
cdcl-sat-solver.pl
|
3.05 KB |
|
chart-parser.pl
|
11.31 KB |
|
clinical-trial-screening.pl
|
5.07 KB |
|
clpb-boolean-circuit.pl
|
1.89 KB |
|
clpb-cardinality.pl
|
2.06 KB |
|
clpb-feature-model.pl
|
3.08 KB |
|
combinatorics-findall-sort.pl
|
5.78 KB |
|
composition-of-injective-functions-is-injective.pl
|
2.85 KB |
|
context-association.pl
|
9.94 KB |
|
d3-group.pl
|
4.42 KB |
|
data-negotiation.pl
|
2.71 KB |
|
dcg-command-parser.pl
|
1.81 KB |
|
declarative-fault-localization.pl
|
2.13 KB |
|
defeasible-reasoning.pl
|
3.46 KB |
|
deontic-logic.pl
|
3.14 KB |
|
derived-backward-rule.pl
|
1018 B |
|
derived-rule.pl
|
706 B |
|
diamond-property.pl
|
2.49 KB |
|
dif-constraints.pl
|
714 B |
|
dog.pl
|
761 B |
|
electrical-rc-filter.pl
|
2.85 KB |
|
enigma1225.pl
|
1.91 KB |
|
epidemic-policy.pl
|
7.94 KB |
|
equality-saturation.pl
|
2.37 KB |
|
equivalence-classes-overlap-implies-same-class.pl
|
6.6 KB |
|
existential-rule.pl
|
600 B |
|
expression-eval.pl
|
2.77 KB |
|
floating-point.pl
|
2.19 KB |
|
four-color-map.pl
|
15.08 KB |
|
gdpr-compliance.pl
|
5.25 KB |
|
good-cobbler.pl
|
429 B |
|
graph-reachability.pl
|
3.03 KB |
|
greatest-lower-bound-uniqueness.pl
|
1.75 KB |
|
group-inverse-uniqueness.pl
|
1.5 KB |
|
hanoi.pl
|
5.48 KB |
|
heat-loss.pl
|
4 KB |
|
herbrand-semantics.pl
|
430 B |
|
herbrand-witnesses.pl
|
2.13 KB |
|
ideal-gas-law.pl
|
2.64 KB |
|
integrity-check.pl
|
760 B |
|
intuitionistic-logic-kripke.pl
|
4.08 KB |
|
iso-control-and-errors.pl
|
3.32 KB |
|
iso-dynamic-database.pl
|
1.6 KB |
|
iso-extension-pipeline-audit.pl
|
4.32 KB |
|
iso-extensions.pl
|
2.37 KB |
|
iso-grouped-solutions.pl
|
3.36 KB |
|
iso-integer-arithmetic.pl
|
1.34 KB |
|
iso-operators.pl
|
1.75 KB |
|
job-shop-scheduling.pl
|
2.83 KB |
|
json.pl
|
2.37 KB |
|
knapsack-optimization.pl
|
2.23 KB |
|
knights-tour-warnsdorff.pl
|
59.09 KB |
|
language.pl
|
2 KB |
|
linear-logic-resources.pl
|
7.29 KB |
|
list-collection.pl
|
2.06 KB |
|
modal-logic-kripke.pl
|
3.25 KB |
|
nixon-diamond.pl
|
2.59 KB |
|
partial-evaluator.pl
|
11.14 KB |
|
peasant.pl
|
96.05 KB |
|
prime-range.pl
|
1.15 KB |
|
proof-contrapositive.pl
|
1.05 KB |
|
propositional-dynamic-logic.pl
|
5.03 KB |
|
rdf12-annotation.pl
|
7.73 KB |
|
rdf12-directional-language.pl
|
1.91 KB |
|
rdf12-nested-triple-term.pl
|
1.55 KB |
|
rdf12-trig-graph-join.pl
|
1.84 KB |
|
rdf12-trig-named-graph.pl
|
3.07 KB |
|
rdf12-trig-triple-term.pl
|
1.4 KB |
|
rdf12-triple-term.pl
|
1.26 KB |
|
reified-conditionals.pl
|
1.08 KB |
|
reusable-builtins.pl
|
3.79 KB |
|
route-planning.pl
|
3.26 KB |
|
security-incident-correlation.pl
|
4.14 KB |
|
sieve.pl
|
4.42 KB |
|
snaf.pl
|
301 B |
|
socrates.pl
|
402 B |
|
spacecraft-battery-diagnosis.pl
|
5.94 KB |
|
stable-marriage.pl
|
3.66 KB |
|
symbolic-derivative.pl
|
8.73 KB |
|
term-tools.pl
|
1.75 KB |
|
totient-summatory.pl
|
1.95 KB |
|
trust-flow-provenance-threshold.pl
|
5.45 KB |
|
universal-vs-existential-termination.pl
|
1.34 KB |
|
uuid.pl
|
2 KB |
|
vanilla-meta-interpreter.pl
|
673 B |
|
web-names.pl
|
3.8 KB |
|
weighted-interval-scheduling.pl
|
13.95 KB |
|
witch.pl
|
1.11 KB |
|
workplace-compliance.pl
|
2.34 KB |