eyeprolog CDN files

jsDelivr monthly hits badge
  1. eyeprolog@1.6.47 /
  2. examples /
  3. deck
...
abstract-interpretation.md 4 KB
access-control-policy.md 3.58 KB
ackermann.md 3.56 KB
age.md 2.47 KB
aliases-and-namespaces.md 3.09 KB
alignment-demo.md 3.64 KB
allen-interval-calculus.md 3.77 KB
ancestor.md 2.94 KB
animal.md 2.45 KB
annotation.md 2.94 KB
attributed-variables.md 3.33 KB
backward.md 2.36 KB
basic-monadic.md 3.68 KB
bayes-diagnosis.md 4.05 KB
bayes-therapy.md 4.32 KB
beam-deflection.md 3.61 KB
bench.md 3.13 KB
binomial-vandermonde.md 3.78 KB
blocks-world-planning.md 3.88 KB
bmi.md 3.07 KB
braking-safety-worlds.md 3.8 KB
buck-converter-design.md 3.87 KB
bulk-stream-write.md 3.41 KB
cache-performance.md 3.22 KB
canary-release.md 2.88 KB
cat-koko.md 2.62 KB
catalan-convolution.md 3.27 KB
cdcl-sat-solver.md 3.39 KB
chart-parser.md 4.6 KB
clinical-trial-screening.md 4.17 KB
clpb-boolean-circuit.md 3.49 KB
clpb-cardinality.md 3.29 KB
clpb-feature-model.md 3.73 KB
clpb-weighted-planning.md 3.07 KB
clpz-factorial.md 2.68 KB
clpz-global-constraints.md 4.01 KB
clpz-n-queens.md 3.29 KB
clpz-resource-allocation.md 3.7 KB
clpz-sudoku-9x9.md 3.27 KB
collatz-1000.md 3.27 KB
combinatorics-findall-sort.md 3.55 KB
competitive-enzyme-kinetics.md 3.92 KB
complex.md 3.64 KB
composition-of-injective-functions-is-injective.md 3.85 KB
context-schema-audit.md 3.96 KB
continued-fraction-sqrt2.md 3.67 KB
control-system.md 4.16 KB
critical-path-schedule.md 4.68 KB
cyclic-path.md 2.87 KB
d3-group.md 4.21 KB
dairy-energy-balance.md 4.05 KB
data-negotiation.md 3.66 KB
dcg-command-parser.md 3.84 KB
dcg-expression-language.md 4.27 KB
declarative-fault-localization.md 3.79 KB
deep-taxonomy-10.md 2.68 KB
deep-taxonomy-100.md 2.26 KB
deep-taxonomy-1000.md 2.13 KB
deep-taxonomy-10000.md 2.27 KB
deep-taxonomy-100000.md 2.47 KB
defeasible-reasoning.md 4.8 KB
deontic-logic.md 4.15 KB
dependency-depth-10000.md 3.07 KB
dependency-preparation-5000.md 3.07 KB
derived-backward-rule.md 3.08 KB
derived-rule.md 2.58 KB
dialogical-reasoning.md 6.44 KB
diamond-property.md 2.97 KB
dif-constraints.md 2.6 KB
dijkstra.md 3.63 KB
dijkstra-findall-sort.md 3.65 KB
dijkstra-risk-path.md 3.47 KB
dining-philosophers.md 3.66 KB
dog.md 2.8 KB
donald-gerald-robert.md 3.99 KB
drone-corridor-planner.md 4.25 KB
easter-computus.md 3.79 KB
electrical-rc-filter.md 3.27 KB
enigma1225.md 4.18 KB
epidemic-policy.md 3.71 KB
equality-saturation.md 4.11 KB
equivalence-classes-overlap-implies-same-class.md 3.23 KB
eulerian-path.md 3.26 KB
ev-range-worlds.md 3.78 KB
evidence-demand-authority.md 4.45 KB
existential-rule.md 2.23 KB
exoplanet-validation-worlds.md 3.98 KB
expression-eval.md 2.76 KB
family-cousins.md 3.46 KB
fast-fourier-transform.md 3.59 KB
fastpow.md 3.21 KB
fft8-numeric.md 3.52 KB
fibonacci.md 3.74 KB
field-nitrogen-balance.md 3.78 KB
flandor.md 4.56 KB
floating-point.md 2.72 KB
four-color-map.md 3.76 KB
fundamental-theorem-arithmetic.md 3.51 KB
gd-step-certified.md 4.75 KB
gdpr-compliance.md 3.75 KB
goldbach.md 3.23 KB
good-cobbler.md 2.15 KB
gps.md 4.17 KB
graph.md 2.77 KB
graph-reachability.md 3.3 KB
gray-code-counter.md 3.03 KB
greatest-lower-bound-uniqueness.md 2.75 KB
group-inverse-uniqueness.md 2.78 KB
hamiltonian-path.md 3.45 KB
hamming-code.md 3.61 KB
hanoi.md 2.75 KB
heat-loss.md 3.15 KB
herbrand-semantics.md 2.68 KB
herbrand-witnesses.md 3.13 KB
heron-theorem.md 3.35 KB
http-client.md 2.81 KB
ideal-gas-law.md 3.07 KB
illegitimate-reasoning.md 3.99 KB
integer-partitions.md 3.51 KB
integrity-check.md 2.51 KB
introduction-to-eyeprolog.md 7.52 KB
intuitionistic-logic-kripke.md 3.94 KB
iso-atomic-conversion.md 3.03 KB
iso-control-and-errors.md 3.93 KB
iso-dynamic-database.md 3.57 KB
iso-extension-pipeline-audit.md 4.2 KB
iso-extensions.md 3.29 KB
iso-grouped-solutions.md 3.46 KB
iso-integer-arithmetic.md 2.75 KB
iso-operators.md 3.69 KB
iso-reflective-terms.md 3.7 KB
iso-term-io.md 3.62 KB
job-shop-scheduling.md 3.71 KB
json.md 3.63 KB
knapsack-optimization.md 3.56 KB
knights-tour-warnsdorff.md 4.05 KB
knuth-bendix-completion.md 6.6 KB
language.md 2.72 KB
law-of-cosines.md 2.87 KB
least-squares-regression.md 3.78 KB
lee.md 3.41 KB
linear-logic-resources.md 3.26 KB
list-collection.md 3.12 KB
lldm.md 4.17 KB
manufacturing-quality-control.md 3.99 KB
map-four-color-search.md 3.96 KB
markov-logic-network.md 4.06 KB
matrix-chain-order.md 3.62 KB
matrix-noncommutativity.md 2.93 KB
microgrid-dispatch.md 3.92 KB
missionaries-cannibals.md 3.49 KB
modal-logic-kripke.md 3.36 KB
modular-exponentiation.md 3.87 KB
monkey-bananas.md 3.87 KB
network-sla.md 2.82 KB
newton-raphson.md 3.22 KB
nixon-diamond.md 3.04 KB
observability-log-correlation.md 4.19 KB
orbital-transfer-design.md 4.08 KB
partial-evaluator.md 4.31 KB
path-discovery.md 4.36 KB
peano-arithmetic.md 2.84 KB
peano-calculus.md 2.92 KB
peasant.md 3.28 KB
pell-equation.md 3.23 KB
pendulum-period.md 3.95 KB
pi.md 2.66 KB
pointer-analysis.md 3.65 KB
polynomial.md 4.56 KB
portable-library-overlap.md 4.34 KB
prime-range.md 3.33 KB
proof-contrapositive.md 2.57 KB
propositional-dynamic-logic.md 4.05 KB
quadratic-formula.md 2.72 KB
quine-mccluskey.md 5.75 KB
radioactive-decay.md 3.26 KB
README.md 33.71 KB
register-allocation.md 4.44 KB
reified-conditionals.md 3.52 KB
relational-cube-lookup.md 3.23 KB
reusable-builtins.md 3.4 KB
riemann-hypothesis.md 3.9 KB
route-planning.md 3.08 KB
sat-solver-dpll.md 3.88 KB
security-incident-correlation.md 3.43 KB
send-more-money.md 3.37 KB
service-impact.md 3.93 KB
shoelace-polygon-area.md 2.88 KB
sieve.md 3.19 KB
skolem-functions.md 3.62 KB
snaf.md 2.25 KB
socrates.md 2.36 KB
spacecraft-battery-diagnosis.md 3.93 KB
stable-marriage.md 3.65 KB
statistics-summary.md 3.54 KB
stirling-bell-numbers.md 3.63 KB
superdense-coding.md 4.09 KB
symbolic-derivative.md 3.29 KB
takeuchi.md 2.78 KB
term-tools.md 3.13 KB
totient-summatory.md 2.94 KB
trust-flow-provenance-threshold.md 3.57 KB
truth-maintenance-system.md 3.82 KB
turing.md 3.13 KB
type-inference.md 3.59 KB
universal-vs-existential-termination.md 3.05 KB
uuid.md 2.56 KB
vanilla-meta-interpreter.md 3.13 KB
vector-similarity.md 2.57 KB
vulnerability-impact.md 3.34 KB
weighted-interval-scheduling.md 3.56 KB
witch.md 3.46 KB
wolf-goat-cabbage.md 4.27 KB
workplace-compliance.md 4.1 KB
zebra.md 3.96 KB

Free Open Source CDN for eyeprolog

Looking for a nice landing page for your package?