Jump to content

Prolog / Java - Assert


BahausMen
 Share

Recommended Posts

Boas pessoal,

Eu tenho o seguinte facto em prolog,

cidade(porto).

agora coloquei o seguinte código para fazer uma inserção (em memória) de mais uma cidade,

:- dynamic(cidade/1).
inserecidade(cidade(lisboa)).

eu tenho o jasper que faz a ligação entre o prolog e o java e depois de criar uma variável para a nova cidade, queria fazer chamar a inserção, para poder fazer dinamicamente várias ações destas. Já testei no prolog e deu, mas no java ainda não consegui por a funcionar.

public void insereCidade(String cidade) throws SPException, InterruptedException, Exception
{
 HashMap map = new HashMap();
 String queryS = "inserecidade("+cidade+").";
 Query query = this.sp.openPrologQuery(queryS, map);
 query.close();
}
Link to comment
Share on other sites

desconfio que não estás a executar realmente a query

tenta isto :

public void insereCidade(String cidade) throws SPException, InterruptedException, Exception
{
 HashMap map = new HashMap();
 String queryS = "inserecidade("+cidade+").";
 Query query = this.sp.openPrologQuery(queryS, map); // isto é criar a query
 query.nextSolution();                               // isto é executar a query
 query.close();
}
  • Vote 1
IRC : sim, é algo que ainda existe >> #p@p
Link to comment
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
 Share

×
×
  • Create New...

Important Information

By using this site you accept our Terms of Use and Privacy Policy. We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.