scasp.pl -- Using s(CASP) from Prolog |
|---|
| ?++/1 | Shortcuts for scasp/1 that control printing the model and/or tree and the format. | |
| ?+-/1 | Shortcuts for scasp/1 that control printing the model and/or tree and the format. | |
| ?-+/1 | Shortcuts for scasp/1 that control printing the model and/or tree and the format. | |
| ?--/1 | Shortcuts for scasp/1 that control printing the model and/or tree and the format. | |
| ??++/1 | Shortcuts for scasp/1 that control printing the model and/or tree and the format. | |
| ??+-/1 | Shortcuts for scasp/1 that control printing the model and/or tree and the format. | |
| ??-+/1 | Shortcuts for scasp/1 that control printing the model and/or tree and the format. | |