Skip to content

Instantly share code, notes, and snippets.

@paniq

paniq/gist:cc7fdcfa7e9821233d51975063569fff

Created July 1, 2024 13:56
Show Gist options
  • Save paniq/cc7fdcfa7e9821233d51975063569fff to your computer and use it in GitHub Desktop.
Save paniq/cc7fdcfa7e9821233d51975063569fff to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
L(23).
L(60).
L(5).
L(707).
L(42).
adj(?a,#min(?b)) :- L(?a), L(?b), ?a < ?b.
first(#min(?a)) :- adj(?a, ?b).
sorted(0, ?a) :- first(?a).
sorted(?i + 1, ?b) :- sorted(?i, ?a), adj(?a, ?b).
@export sorted :- csv{resource = ""}.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment