| ... |
|
book
|
|
|
data
|
|
|
deck
|
|
|
output
|
|
|
proof
|
|
|
abstract-interpretation.pl
|
1.99 KB |
|
access-control-policy.pl
|
1.65 KB |
|
ackermann.pl
|
1.23 KB |
|
age.pl
|
793 B |
|
aliases-and-namespaces.pl
|
986 B |
|
alignment-demo.pl
|
1.55 KB |
|
allen-interval-calculus.pl
|
2.29 KB |
|
ancestor.pl
|
696 B |
|
animal.pl
|
778 B |
|
annotation.pl
|
1.21 KB |
|
attributed-variables.pl
|
1.16 KB |
|
auroracare.pl
|
17.2 KB |
|
backward.pl
|
471 B |
|
basic-monadic.pl
|
203.13 KB |
|
bayes-diagnosis.pl
|
3.49 KB |
|
bayes-therapy.pl
|
6.49 KB |
|
beam-deflection.pl
|
1.5 KB |
|
bench.pl
|
1.58 KB |
|
binomial-vandermonde.pl
|
1.5 KB |
|
blocks-world-planning.pl
|
2.2 KB |
|
bmi.pl
|
6.66 KB |
|
braking-safety-worlds.pl
|
2.81 KB |
|
buck-converter-design.pl
|
3.28 KB |
|
bulk-stream-write.pl
|
1.4 KB |
|
cache-performance.pl
|
1.91 KB |
|
canary-release.pl
|
1.64 KB |
|
cat-koko.pl
|
863 B |
|
catalan-convolution.pl
|
1.18 KB |
|
cdcl-sat-solver.pl
|
2.9 KB |
|
chart-parser.pl
|
1.96 KB |
|
clinical-trial-screening.pl
|
2.66 KB |
|
clpb-boolean-circuit.pl
|
506 B |
|
clpb-cardinality.pl
|
766 B |
|
clpb-feature-model.pl
|
776 B |
|
clpb-weighted-planning.pl
|
560 B |
|
clpz-factorial.pl
|
424 B |
|
clpz-global-constraints.pl
|
996 B |
|
clpz-n-queens.pl
|
1.37 KB |
|
clpz-resource-allocation.pl
|
882 B |
|
clpz-sudoku-9x9.pl
|
1.91 KB |
|
collatz-1000.pl
|
1.57 KB |
|
combinatorics-findall-sort.pl
|
1.5 KB |
|
competitive-enzyme-kinetics.pl
|
2.5 KB |
|
complex.pl
|
3.41 KB |
|
composition-of-injective-functions-is-injective.pl
|
1.23 KB |
|
context-association.pl
|
2.48 KB |
|
context-schema-audit.pl
|
1.7 KB |
|
continued-fraction-sqrt2.pl
|
1.24 KB |
|
control-system.pl
|
2.22 KB |
|
critical-path-schedule.pl
|
2.43 KB |
|
cross-organization-data-sharing.pl
|
13.43 KB |
|
cyclic-path.pl
|
489 B |
|
d3-group.pl
|
3.84 KB |
|
dairy-energy-balance.pl
|
1.95 KB |
|
data-negotiation.pl
|
1.36 KB |
|
dcg-command-parser.pl
|
921 B |
|
dcg-expression-language.pl
|
4.57 KB |
|
declarative-fault-localization.pl
|
1.74 KB |
|
deep-taxonomy-10.pl
|
3.12 KB |
|
deep-taxonomy-100.pl
|
9.47 KB |
|
deep-taxonomy-1000.pl
|
78.04 KB |
|
deep-taxonomy-10000.pl
|
816.34 KB |
|
deep-taxonomy-100000.pl
|
8.52 MB |
|
defeasible-reasoning.pl
|
5.7 KB |
|
delfour.pl
|
13.91 KB |
|
deontic-logic.pl
|
1.77 KB |
|
derived-backward-rule.pl
|
1.09 KB |
|
derived-rule.pl
|
968 B |
|
diamond-property.pl
|
1.15 KB |
|
dif-constraints.pl
|
518 B |
|
dijkstra.pl
|
2 KB |
|
dijkstra-findall-sort.pl
|
1.64 KB |
|
dijkstra-risk-path.pl
|
3.69 KB |
|
dining-philosophers.pl
|
6.76 KB |
|
dog.pl
|
818 B |
|
donald-gerald-robert.pl
|
2.49 KB |
|
dpv-odrl-purpose-mapping.pl
|
8.08 KB |
|
drone-corridor-planner.pl
|
2.74 KB |
|
easter-computus.pl
|
2.39 KB |
|
electrical-rc-filter.pl
|
1.09 KB |
|
enigma1225.pl
|
5.69 KB |
|
epidemic-policy.pl
|
1.95 KB |
|
equality-saturation.pl
|
3.5 KB |
|
equivalence-classes-overlap-implies-same-class.pl
|
820 B |
|
eulerian-path.pl
|
2.52 KB |
|
ev-range-worlds.pl
|
3.06 KB |
|
existential-rule.pl
|
513 B |
|
exoplanet-validation-worlds.pl
|
4.11 KB |
|
explainable-ev-depot-configuration.pl
|
8.07 KB |
|
expression-eval.pl
|
1.22 KB |
|
family-cousins.pl
|
2.24 KB |
|
fast-fourier-transform.pl
|
1.3 KB |
|
fastpow.pl
|
2.17 KB |
|
fft8-numeric.pl
|
2.37 KB |
|
fibonacci.pl
|
1.62 KB |
|
field-nitrogen-balance.pl
|
2.37 KB |
|
flandor.pl
|
13.34 KB |
|
floating-point.pl
|
1.24 KB |
|
four-color-map.pl
|
4.79 KB |
|
fundamental-theorem-arithmetic.pl
|
2.96 KB |
|
gd-step-certified.pl
|
3.3 KB |
|
gdpr-compliance.pl
|
2.1 KB |
|
goldbach.pl
|
1.02 KB |
|
good-cobbler.pl
|
744 B |
|
gps.pl
|
5.5 KB |
|
graph.pl
|
1.16 KB |
|
graph-reachability.pl
|
929 B |
|
gray-code-counter.pl
|
1.25 KB |
|
greatest-lower-bound-uniqueness.pl
|
916 B |
|
group-inverse-uniqueness.pl
|
1.02 KB |
|
hamiltonian-path.pl
|
1.45 KB |
|
hamming-code.pl
|
3.03 KB |
|
hanoi.pl
|
620 B |
|
heat-loss.pl
|
1.84 KB |
|
herbrand-semantics.pl
|
710 B |
|
herbrand-witnesses.pl
|
1019 B |
|
heron-theorem.pl
|
1.38 KB |
|
http-client.pl
|
479 B |
|
ideal-gas-law.pl
|
1.29 KB |
|
illegitimate-reasoning.pl
|
3.68 KB |
|
integer-partitions.pl
|
1.26 KB |
|
integrity-check.pl
|
484 B |
|
intuitionistic-logic-kripke.pl
|
2.06 KB |
|
iso-atomic-conversion.pl
|
702 B |
|
iso-control-and-errors.pl
|
1.12 KB |
|
iso-dynamic-database.pl
|
781 B |
|
iso-extension-pipeline-audit.pl
|
1.52 KB |
|
iso-extensions.pl
|
840 B |
|
iso-grouped-solutions.pl
|
975 B |
|
iso-integer-arithmetic.pl
|
565 B |
|
iso-operators.pl
|
702 B |
|
iso-reflective-terms.pl
|
852 B |
|
iso-term-io.pl
|
1.26 KB |
|
job-shop-scheduling.pl
|
2.44 KB |
|
json.pl
|
726 B |
|
knapsack-optimization.pl
|
1.93 KB |
|
knights-tour-warnsdorff.pl
|
1.57 KB |
|
knowledge-engineering-alignment-flow.pl
|
2.62 KB |
|
knuth-bendix-completion.pl
|
2.52 KB |
|
language.pl
|
564 B |
|
law-of-cosines.pl
|
1.37 KB |
|
least-squares-regression.pl
|
2.75 KB |
|
lee.pl
|
1.75 KB |
|
linear-logic-resources.pl
|
1.95 KB |
|
list-collection.pl
|
1.21 KB |
|
lldm.pl
|
4.96 KB |
|
manufacturing-quality-control.pl
|
2.05 KB |
|
map-four-color-search.pl
|
2.71 KB |
|
markov-logic-network.pl
|
3.35 KB |
|
matrix-chain-order.pl
|
2.29 KB |
|
matrix-noncommutativity.pl
|
1.02 KB |
|
microgrid-dispatch.pl
|
2.93 KB |
|
missionaries-cannibals.pl
|
1.94 KB |
|
modal-logic-kripke.pl
|
1.47 KB |
|
modular-exponentiation.pl
|
1.27 KB |
|
monkey-bananas.pl
|
1.44 KB |
|
network-sla.pl
|
1.49 KB |
|
newton-raphson.pl
|
1.04 KB |
|
nixon-diamond.pl
|
1.16 KB |
|
observability-log-correlation.pl
|
2.45 KB |
|
odrl-dpv-fpv-trust-flow.pl
|
9.3 KB |
|
odrl-dpv-healthcare-risk-ranked.pl
|
11.47 KB |
|
odrl-dpv-risk-ranked.pl
|
13.63 KB |
|
odrl-policy.pl
|
3.32 KB |
|
odrl-policy-advanced.pl
|
8.07 KB |
|
odrl-policy-reasoning.pl
|
18.17 KB |
|
operational-incident-response.pl
|
7.58 KB |
|
orbital-transfer-design.pl
|
4.09 KB |
|
partial-evaluator.pl
|
2.91 KB |
|
path-discovery.pl
|
1.94 MB |
|
peano-arithmetic.pl
|
1 KB |
|
peano-calculus.pl
|
942 B |
|
peasant.pl
|
887 B |
|
pell-equation.pl
|
1.12 KB |
|
pendulum-period.pl
|
1.65 KB |
|
pi.pl
|
300 B |
|
pointer-analysis.pl
|
1.63 KB |
|
polynomial.pl
|
3.63 KB |
|
portable-library-overlap.pl
|
1.33 KB |
|
prime-range.pl
|
1.08 KB |
|
proof-contrapositive.pl
|
918 B |
|
propositional-dynamic-logic.pl
|
4.53 KB |
|
quadratic-formula.pl
|
1.49 KB |
|
quine-mccluskey.pl
|
9.74 KB |
|
radioactive-decay.pl
|
1.88 KB |
|
rdf12-annotated-claims.pl
|
6.61 KB |
|
rdf12-annotation.pl
|
2.16 KB |
|
rdf12-directional-language.pl
|
906 B |
|
rdf12-nested-triple-term.pl
|
1.02 KB |
|
rdf12-trig-graph-join.pl
|
1.15 KB |
|
rdf12-trig-named-graph.pl
|
1.06 KB |
|
rdf12-trig-triple-term.pl
|
913 B |
|
rdf12-triple-term.pl
|
895 B |
|
register-allocation.pl
|
2.87 KB |
|
reified-conditionals.pl
|
890 B |
|
relational-cube-lookup.pl
|
167.29 KB |
|
reusable-builtins.pl
|
1.02 KB |
|
riemann-hypothesis.pl
|
3.29 KB |
|
route-planning.pl
|
895 B |
|
sat-solver-dpll.pl
|
3.67 KB |
|
sbom-vulnerability-response.pl
|
9.38 KB |
|
scientific-evidence-graph.pl
|
10.98 KB |
|
security-incident-correlation.pl
|
2.15 KB |
|
send-more-money.pl
|
2.09 KB |
|
service-impact.pl
|
1.88 KB |
|
shoelace-polygon-area.pl
|
662 B |
|
sieve.pl
|
1.41 KB |
|
skolem-functions.pl
|
1.83 KB |
|
snaf.pl
|
237 B |
|
socrates.pl
|
662 B |
|
spacecraft-battery-diagnosis.pl
|
2.71 KB |
|
stable-marriage.pl
|
2.55 KB |
|
statistics-summary.pl
|
1.66 KB |
|
stirling-bell-numbers.pl
|
1.75 KB |
|
superdense-coding.pl
|
2.21 KB |
|
symbiotic-knowledge-graph.pl
|
28.79 KB |
|
symbolic-derivative.pl
|
1.19 KB |
|
takeuchi.pl
|
333 B |
|
term-tools.pl
|
1.01 KB |
|
totient-summatory.pl
|
1.16 KB |
|
trust-flow-provenance-threshold.pl
|
1.8 KB |
|
truth-maintenance-system.pl
|
2.52 KB |
|
turing.pl
|
2.05 KB |
|
type-inference.pl
|
2.36 KB |
|
universal-vs-existential-termination.pl
|
1.57 KB |
|
uuid.pl
|
643 B |
|
vanilla-meta-interpreter.pl
|
1.07 KB |
|
vector-similarity.pl
|
1.55 KB |
|
vulnerability-impact.pl
|
1.85 KB |
|
web-names.pl
|
1.96 KB |
|
weighted-interval-scheduling.pl
|
2.56 KB |
|
witch.pl
|
965 B |
|
wolf-goat-cabbage.pl
|
1.66 KB |
|
workplace-compliance.pl
|
1.25 KB |
|
zebra.pl
|
2.04 KB |