(text)
| 6 | * @returns {{ valid: boolean, clauses?: Array, error?: Error }} |
| 7 | */ |
| 8 | export function validatePrologCode(text) { |
| 9 | try { |
| 10 | const trimmed = text.trim(); |
| 11 | if (trimmed.length === 0) { |
| 12 | return { valid: true, clauses: [] }; |
| 13 | } |
| 14 | const normalized = trimmed.endsWith('.') ? trimmed : `${trimmed}.`; |
| 15 | const clauses = parseProgram(normalized); |
| 16 | return { valid: true, clauses }; |
| 17 | } catch (error) { |
| 18 | return { valid: false, error }; |
| 19 | } |
| 20 | } |
no test coverage detected