From cb21f6464bc4b4af995b288083bcfb54abb9ab6f Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Sat, 21 Mar 2026 18:09:23 +1300 Subject: Logic Programming in Ada article added --- project/assets/css/kompsos.css | 20 ++++++++++++++++++++ project/assets/img/goal_graph_inverted.png | Bin 0 -> 23293 bytes project/assets/img/goal_graph_inverted_preview.png | Bin 0 -> 33699 bytes project/assets/img/zebra_graph.png | Bin 0 -> 331182 bytes project/assets/img/zebra_graph_preview.png | Bin 0 -> 24380 bytes 5 files changed, 20 insertions(+) create mode 100644 project/assets/css/kompsos.css create mode 100644 project/assets/img/goal_graph_inverted.png create mode 100644 project/assets/img/goal_graph_inverted_preview.png create mode 100644 project/assets/img/zebra_graph.png create mode 100644 project/assets/img/zebra_graph_preview.png (limited to 'project/assets') diff --git a/project/assets/css/kompsos.css b/project/assets/css/kompsos.css new file mode 100644 index 0000000..625330e --- /dev/null +++ b/project/assets/css/kompsos.css @@ -0,0 +1,20 @@ + + +table { + margin: 2em auto 2em auto; + border: 1px solid gray; +} + +table th { + padding: 0.5em 1em 0.5em 1em; + border: 1px solid gray; + text-align: center; +} + +table td { + padding: 0.5em 1em 0.5em 1em; + border: 1px solid gray; + text-align: right; +} + + diff --git a/project/assets/img/goal_graph_inverted.png b/project/assets/img/goal_graph_inverted.png new file mode 100644 index 0000000..6907802 Binary files /dev/null and b/project/assets/img/goal_graph_inverted.png differ diff --git a/project/assets/img/goal_graph_inverted_preview.png b/project/assets/img/goal_graph_inverted_preview.png new file mode 100644 index 0000000..3fb745e Binary files /dev/null and b/project/assets/img/goal_graph_inverted_preview.png differ diff --git a/project/assets/img/zebra_graph.png b/project/assets/img/zebra_graph.png new file mode 100644 index 0000000..5e4c439 Binary files /dev/null and b/project/assets/img/zebra_graph.png differ diff --git a/project/assets/img/zebra_graph_preview.png b/project/assets/img/zebra_graph_preview.png new file mode 100644 index 0000000..a81b66f Binary files /dev/null and b/project/assets/img/zebra_graph_preview.png differ -- cgit