2015-07-27 2 views
5

я получаю этот термин соединения:пролога получить срок от соединения

e(currentNode,"http://localhost:9000/") 

Как я могу получить только http://localhost:9000/ отдельно от этого соединения? Или, наоборот, есть ли способ преобразовать составной термин в строку или список?

+5

try '? - e (_, X) .' – CapelliC

+0

Это сработало, Я попытался с: comp (e (_, X)): - написать (X). Спасибо CapelliC :) –

ответ

2

В общем использовании унификации для этого:

e(currentNode,"http://localhost:9000/") = e(_,X). 

связывается "http://localhost:9000/" с X.

используется объединение также при этом неявно положив переменных вместо терминов в запросе, например .:

?- comp(e(_,X)). 

связывается с X вторым аргументом e для каждого подходящего результата.

Смежные вопросы