From 23ba74f4e716c30b06ec123cc0184c2441f9545c Mon Sep 17 00:00:00 2001
From: Gao Enhao <gaoeh@lamda.nju.edu.cn>
Date: Fri, 8 Dec 2023 22:56:46 +0800
Subject: [PATCH] [FIX] apt-get prolog

---
 .github/workflows/build-and-test.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/build-and-test.yaml b/.github/workflows/build-and-test.yaml
index 8e9eb5b..5ac3581 100644
--- a/.github/workflows/build-and-test.yaml
+++ b/.github/workflows/build-and-test.yaml
@@ -25,6 +25,9 @@ jobs:
       run: |
         python -m pip install --upgrade pip
         pip install -r build_tools/requirements.txt
+    - name: Install prolog
+      run: |
+        apt-get install swi-prolog
     - name: Install
       run: pip install -v -e .
     - name: Run tests