Skip to main content

Segmentation Fault While Querying the KB using pyswip with ROS

I built a ROS Package to run this script called planner_node.py to interface with Prolog Knowledge Base(KB):

#! /bin/env python3

from pyswip import Prolog
import rospy
from std_msgs.msg import String

class planner:

    def __init__(self, scene_file="src/mmi/scenes/test.pl"):

        self.scene_file = scene_file
        self.data = None
        self.prolog = Prolog()
        self.prolog.consult(self.scene_file)
        self.init_ros()

    def init_ros(self):

        rospy.init_node("planner_node")
        self.rate = rospy.Rate(10)
       
        self.what_next = rospy.Publisher("what_next_topic", String, queue_size=10)
        self.check_sat = rospy.Publisher("check_sat_topic", String, queue_size=10)
        rospy.Subscriber('check_sat_topic', String, self.proceed_next_action)
       

    def get_plan_status(self):
        plan_done = list(self.prolog.query("plan_done(A)."))[0]['A']
        if plan_done == 'true':
            result = True
        else:
            result = False
        return result

    def proceed_next_action(self, data):
        self.get_next_action()
    
    # publishes on what_next_topic
    def get_next_action(self):
        if self.get_plan_status():
            self.what_next.publish(self.curr_action_id)
            return
           
        ####### get the next action
        next_actions = list(self.prolog.query("pending_actions(Action_List)."))
        act = next_actions[0]
        act_list = act['Action_List']
        self.curr_action_id = act_list[0]

        self.prolog = self.apply_action(self.prolog, self.curr_action_id)

        self.data = self.curr_action_id
       
    def list_to_string(self, list1):
        if list1 == []:
            return "[]"
        result = "["
        for elt in list1:
            result += str(elt)
            result += ","

        return result[:-1] + "]"

    def apply_action(self, prolog, curr_action_id):
        """
        updates the data in the prolog file self.file_path
        """

        print("applying "+str(curr_action_id)+"  ... ")
       
        ############
        all_applied_acts = list(prolog.query("all_applied_actions(A)."))[0]['A']
        all_applied_actions = "all_applied_actions("+self.list_to_string(all_applied_acts)+")"
        prolog.retract(all_applied_actions)

        all_applied_acts.insert(0,curr_action_id)
        all_applied_actions = "all_applied_actions("+self.list_to_string(all_applied_acts)+")"
        prolog.assertz(all_applied_actions)
        ############
        pending = list(prolog.query("pending_actions(A)."))[0]['A']
        pending_actions = "pending_actions("+self.list_to_string(pending)+")"
        prolog.retract(pending_actions)

        pending.remove(curr_action_id)
        pending_actions = "pending_actions("+self.list_to_string(pending)+")"
        prolog.assertz(pending_actions)
        ############
        if pending == []:
            prolog.assertz('plan_done(true)')
            prolog.retract('plan_done(false)')
        ############

        return prolog

## Main
if __name__ == '__main__':

    planner1 = planner()
    planner1.get_next_action()   

    while not rospy.is_shutdown():
        planner1.what_next.publish(planner1.data)
        planner1.check_sat.publish("yes")

Here is the Knowledge Base test.pl:

:- dynamic(all_applied_actions/1).
:- dynamic(pending_actions/1).
:- dynamic(plan_done/1).

% % % % % % % % % % % % % % % %

all_applied_actions([]).
pending_actions([2,3,4,6,7,8,10,11,12,14]).

plan_done(false).

% % % % % % % % % % % % % % % %

I get this Error: Segmentation fault (core dumped) while running this rosnode. It is probably caused by the prolog queries but I do not know where is the issue nor how to fix it.

Can you please tell me how to resolve this segmentation fault please?



source https://stackoverflow.com/questions/72881734/segmentation-fault-while-querying-the-kb-using-pyswip-with-ros

Comments

Popular posts from this blog

Where and how is this Laravel kernel constructor called? [closed]

Where and how is this Laravel kernel constructor called? public fucntion __construct(Application $app, $Router $roouter) { } I have read the documentation and some online tutorial but I can find any clear explanation. I am learning Laravel and I am wondering where does this kernel constructor receives its arguments from. "POSTMOTERM" CLARIFICATION: Here is more clarity.I have checked the boostrap/app.php and it is only used for boostrapping the interfaces into the container class. What is not clear to me is where and how the Kernel class is instatiated and the arguments passed to the object calling the constructor.Something similar to; obj = new kernel(arg1,arg2) or, is the framework using some magic functions somewhere? Special gratitude to those who burn their eyeballs and brain cells on this trivia before it goes into a full blown menopause alias "MARKED AS DUPLICATE". To some of the itchy-finger keyboard warriors, a.k.a The mods,because I believe in th...

Why is my reports service not connecting?

I am trying to pull some data from a Postgres database using Node.js and node-postures but I can't figure out why my service isn't connecting. my routes/index.js file: const express = require('express'); const router = express.Router(); const ordersCountController = require('../controllers/ordersCountController'); const ordersController = require('../controllers/ordersController'); const weeklyReportsController = require('../controllers/weeklyReportsController'); router.get('/orders_count', ordersCountController); router.get('/orders', ordersController); router.get('/weekly_reports', weeklyReportsController); module.exports = router; My controllers/weeklyReportsController.js file: const weeklyReportsService = require('../services/weeklyReportsService'); const weeklyReportsController = async (req, res) => { try { const data = await weeklyReportsService; res.json({data}) console...

How to show number of registered users in Laravel based on usertype?

i'm trying to display data from the database in the admin dashboard i used this: <?php use Illuminate\Support\Facades\DB; $users = DB::table('users')->count(); echo $users; ?> and i have successfully get the correct data from the database but what if i want to display a specific data for example in this user table there is "usertype" that specify if the user is normal user or admin i want to user the same code above but to display a specific usertype i tried this: <?php use Illuminate\Support\Facades\DB; $users = DB::table('users')->count()->WHERE usertype =admin; echo $users; ?> but it didn't work, what am i doing wrong? source https://stackoverflow.com/questions/68199726/how-to-show-number-of-registered-users-in-laravel-based-on-usertype