From 610a0bfdce8b322ee6afdc02c9c5580ffe006dc9 Mon Sep 17 00:00:00 2001
From: Jesper Quorning <jesper.quorning@gmail.com>
Date: Thu, 6 Mar 2025 11:52:25 +0100
Subject: [PATCH] prolog 1.0.0 (#1398)

* prolog 1.0.0 (via `alr publish`)

* Update prolog-1.0.0.toml
---
 index/pr/prolog/prolog-1.0.0.toml | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 index/pr/prolog/prolog-1.0.0.toml

diff --git a/index/pr/prolog/prolog-1.0.0.toml b/index/pr/prolog/prolog-1.0.0.toml
new file mode 100644
index 00000000..b1840082
--- /dev/null
+++ b/index/pr/prolog/prolog-1.0.0.toml
@@ -0,0 +1,18 @@
+name = "prolog"
+description = "Simple Prolog library"
+version = "1.0.0"
+
+authors = ["Professor David C. Luckham <Anna-Request@Anna.Stanford.EDU>",
+           "Dale Stanbrough <dale@cs.rmit.edu.au>"]
+	   
+maintainers = ["Jesper Quorning <jesper.quorning@gmail.com>"]
+maintainers-logins = ["jquorning"]
+
+licenses = "custom-anna"
+website = "https://github.com/jquorning/Prolog"
+tags = ["prolog", "logic"]
+
+[origin]
+commit = "6ac52773fdb45c0100152081780b2e31b5802986"
+url = "git+https://github.com/jquorning/Prolog.git"
+